DeepMind AI gets silver medal at International Mathematical Olympiad

AlphaProof, an AI from Google DeepMind, came close to matching the top participants in a prestigious competition for young mathematicians